Generalized Stochastic Petri Nets for Planning and Optimizing Maintenance Logistics of Small Hydroelectric Power Plants

Modeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets

One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...

Exploiting stochastic process algebra achievements for generalized stochastic Petri nets

Constructing large Generalized Stochastic Petri Nets (GSPN) by hierarchical composition of smaller components is a promising way to cope with the complexity of the design process for models of real hardware and software systems. The composition of nets is inspired by process algebraic operators. A solid theoretical framework of such operators relies on equivalences that are substitutive with re...

Introduction to Generalized Stochastic Petri Nets

STOCHASTIC MODELLING OF PUMP-STORAGE HYDROELECTRIC POWER PLANTS, Part II

In order to evaluate the reliability characteristics of the electricity generating systems which in addition to thermal plants with unlimited available energy includes also hydroelectric plants, beside the stochastic outages of generating units, the limitation of the – from stochastic inflows dependent – available amounts of primary energy (water) must be also taken into account. Therefore the ...

Generalized Stochastic Petri Nets in Performance Evaluation for Queueing Networks

Markovian queueing networks may be modeled by generalized stochastic Petri nets. The simulation of a model in a properly chosen simulator provides information on the performances of the actual system, mainly in case that the analytical study is intricate. After presenting some general notions on queueing networks and on generalized stochastic Petri nets, this paper points out the PN Toolbox for...